ariadne auf naxos was produced by what opera house?
(AND opera.opera_house (JOIN opera.opera_house.productions m.0zddmg3))