Title: Des Teufels Lustschloss
Subjects: Operas, Librettos