i koldistrikten , omfattande omkring 25.000 man och omkring 3.000 grufwor.