The Magic Flute (Die Zauberflote) (German/English)