Historia de las brigadas mixtas del ejército popular de la República / Carlos Engel - Engel, Carlos