. . "United States premiere" . . "Csongor and the Devil’s Sons, Op. 10" .