gruvearbeideren is the masculine singular definite of gruvearbeider.