— Kungliga teatern i Stockholm.