Aquella vez avanzaba una pequeña tropa compuesta de veinte o veinticinco hombres; pero ya no eran trabajadores, eran soldados de la guarnición.
Nu naderde een kleine krijgsbende van twintig of vijf en twintig man; doch het waren nu geen schansgravers, maar soldaten van het garnizoen.