grufarbetare dödades och tre särades.