135 тысяч человек — это много или мало? Это столько было расстреляно военнослужащих Красной армии за время Великой отечественной войны по приговорам военных трибуналов (там было гораздо больше, но остальные - гражданские). Сколько шлепнули командиры перед строем или в горячке боя — история умалчивает. Это 10 (ДЕСЯТЬ) полнокровных дивизий, или три армейских корпуса, или две общевойсковые армии.