i operahuset varade öfver dt ) timmar.