Voller Erfolg: Doktor Faustus an der Semperoper