La represión en El Gastor durante la Guerra Civil