( f. d. Lagerstedtska lokalen ).