grufarbetaren Enstedt krossades och dödades genast.