producerade 26,521 grufarbetare nästan lika mycket som 39,000 år 1872.