( K. Operahuset ).