René Maison als „Don José“ in „Carmen“ | Spielplanarchiv der Wiener Staatsoper