. . . "Divertimento" . "1980" .