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