can you tell me the opera house that produced ariadne auf naxos?
(AND opera.opera_house (JOIN opera.opera_house.productions m.0zddmg3))