Was Post-Civil-War Repression Ruthless for the Defeated in Spain?