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