atis der Oper Hobert der Teufel,