Entre soldados y civiles, habían perecido unos 10.000 gerundenses.