holm 1 Kungliga Operahuset.