die zauberflote was produced by which opera company?
(AND opera.opera_company (JOIN opera.opera_company.operas_produced m.0zgdhn4))