That's terrible,
I hope most of the Operators / Managers who view this will share with their employees. I read the forum and see the many new operators coming into the business with no idea of what can happen.
I have heard in the last two years of at least three other electrical (if this was an electrocution) incidents. None of them fatal, however very significant.
Always double check with meter before handling. If you don't know, get someone who does.