sysselsatte , nemligen 15,000 grufarbetare , 5,000 masugnsarbetare och 13,000 smeder.