Libretto von Lorenzo Da Ponte, uraufgeführt am 29.10.1787 in Prag