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