jerngrufvorna sysselsatt , uppgifves till 7 564 personer.