. . . "The Nymphs" . . . "world premiere" .