de mijnwerker/le mineur