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