. . . "God Bless All of Us (Variation on the Russian Official Hymn)" . "United States premiere" . . .