. "United States premiere" . . . "Don Juan, Op. 34" .