which opera has the librettist of karl haffner?
(AND opera.opera (JOIN opera.opera.librettist g.122t1brx))