( Kongl , operahuset är nemligeni