Lokalen i K. Operahuset.