3 , då grufarbetaren,