Operation Mars, which began on 25 November 1942, is almost forgotten, because it failed. Some 667,000 men and 1,900 tanks attempted an envelopment of the German Ninth Army which cost 100,000 Russian lives, and was repulsed. A battle that elsewhere in the world would have been deemed immense was scarcely noticed amid the eastern slaughter.