faust produced what opera?
(AND opera.opera (JOIN opera.opera.productions m.0zdf6m8))