( f. d. Lagerstedtska lokalen .)