"King Lear, Op. 20" . "United States premiere" . . . .