One of the best opera houses in the world. It that...

One of the best opera houses in the world. It that doesn't make it five stars I don't know what will.