william m. hoffman is the librettist of what opera?
(AND opera.opera (JOIN opera.opera.librettist m.0263n3v))