Sista kvällen i operahuset var måndagens kväll.