för Kungliga teatern i Köpenhamn.