. . "Divertimento" . . . .