Koning Victor Function(s): librettist