Neuproduktionen „Robert der Teufel / Robert le Diable“ | Spielplanarchiv der Wiener Staatsoper