tonerna som klingade i det nya operahuset de af en nationel ungersk opera.