. . . . . . . "world premiere" . . . "The Planets, Op. 32: Mars, the Bringer of War" .