Title: Der Taucher
Subjects: Librettos, Operas