How many German casualties were reported by the Great Soviet Encyclopedia ?
Other historians , who include the Rzhev and Vyazma operations in the scope of the battle ( thus making the battle end in May 1942 ) , give higher casualty numbers .