som bataljonschefen Gérot , hvilken dömts till döden af en krigsrätt , fick sitt straff mildradt.