Af dessa hade 4,939 anställning wid jerngrufwörna,