" Lagerlunden ” skall raseras i höst för att lemna plats åt det nya operahuset.