. . "Divertimento" . . .