— Den nya operabyggnaden i Stockholm.