what is the name of the opera house that produced the seven deadly sins?
(AND opera.opera_house (JOIN opera.opera_house.productions m.0zn30fw))