, en i K. Operahuset.