The Pirates of Penzance: Libretto