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