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