Title: Der Haideschacht
Subjects: Librettos, Operas