"Don Pablo von Saragossa" ("Don Pablo from Saragossa"), opera "Don Pablo von Saragossa" ("Don Pablo from Saragossa"), opera