» Lagerlunden » , det bredvid operahuset belägna,