Kungliga operan i Stockholm,