in . , i K. operahuset.