är kungliga teaterns lycka.