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