grufarbetarne , som blifvit mer eller mindre bedöfvade af gasen.