. . . . "La La La Chorus" . . . . "United States premiere" .