Title: Die Wichtelmänner
Subjects: Librettos, Dramatic music