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