— Kungliga operan i Stockholm.