angränsande rum i operahuset äro belägna.