. . "world premiere" . . "Divertimento" .