ロイヤルオペラハウスは9/1までお休みなのですが、私用でロンドンまで来たのでちょっとのぞいてみました。