I vaguely remember that a former employee of Brass Tokyo opened a repair shop in Germany. Does that store still exist?