m . Grufarbetaren Wilh.