War or revolution: The dilemma of the Spanish Civil War – Rudolf De Jong