. . . . "United States premiere" . "Tres Divertimentos" . . . .