Hvad det gamla operahuset beträffar ,torde