och en grufarbetare dödades.