omkring 13,900 personer äro vid jernbruken sysselsatta.