omfattande 3,000 grufvor och 25,000 man.