Title: Robert the devil
Subjects: Operas, Librettos