regemente hade räddat honom ; arsenalen , som Campos bemäktigat sig , var så illa törsedd , att striden ej kunde fortsättas.