Antalet arbetare vid järngrufvornautgjorde