what is the name of the opera house that produced greek?
(AND opera.opera_house (JOIN opera.opera_house.productions m.0ystjqw))