verksam man inom stenkolsverkets tjenst.