atis der Oper Robert der Teufel,