. "Jurgen, Op. 17" . . . "world premiere" .