( f. d. Leidesdorffska lokalen ).