uppflattades till 3,000 man infanteri,