. . . "world premiere" . "Red Fireworks" .