faust produced an opera which was this?
(AND opera.opera (JOIN opera.opera.productions m.0zdf6m8))