kommer kungliga teatern i Stockholm.