militär , omkring 10,000 man.