Det nu förstörda operahuset,