en hjelptrupp och general Harstrunft i spetsen för 10 000 soldater.