. "United States premiere" . . . "Festival Overture, Op. 31" .