Operahuset , eller inom detsamma.