The Magic Flute (Die Zauberflote): Libretto