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