järnverk och järngrufvor anstäldetjenstemän