en truppstyrka af 9,000 man.