. "King Erik's Songs" . . . "United States premiere" . . .