"Il dissoluto punito, ossia Il Don Giovanni" ("The rake punished, or Don Giovanni", K. 527, Prague, 1787), with a libretto by Lorenzo da Ponte, after "El burlador de Seville y convivado de piedra" ("The trickster of Seville and the stone guest", ?1616) by Tirso de Molina (1579-1648)