. "world premiere" . . . "Divertissement, Op. 89" . . .