Das königliche ungarische Opernhaus.