Title: Der Teufel in Sevilla
Subjects: Librettos, Operas