Title: Des Teufels Lustschloss
Subjects: Librettos, Operas