コンサートのあと、ホテルに戻ってネットで「ハンガリー国立歌劇場」について調べると「1858年創設ネオルネッサンス建築の歌劇場。世界に約220ある···