. . "Song of the High Seas" . . "world premiere" .