One of the best opera houses in the world.