Productions linked to Die Zauberflöte - Royal Opera House Covent Garden (2015) . 118