ett nytt operahus i norra delen af Kungsträdgården samt en om- och en tillbygaad af nuvarande Stora teatern för att sedermeraanvändas