Haffner Karl Function(s): librettist