sig antalet af de arbetare , som sysselsattes vid dessa grufvor , till 20 , 000 , och den årliga produktionen utgjordedå