i gamla operahuset men från 1 oktober tages Lagerlunden i anspråk för nybyggnaden.