Relativamente pocos fueron liberados o ejecutados, "apenas" 15.000 son fusilados.