gensdarmeriet och kolonialtrupperna till spanska arméen.