Hope his innocent victims are feeling some closure and relief today.
My DF was crippled when he was unlucky enough to walk in on a bank robbery in progress. The scum that did it were arrested within the hour as the police were watching their "safe" house (sadly they didn't know what the "job" was) in 1977. I was 11 and all excited to have gotten a Silver Jubilee coin from the school PTA. Came home to chaos.
The criminal masterminds behind this decided to try exactly the same job when they were released in 1989. Only this time the police were waiting, and the fucking morons ignored "Armed police" and managed to get themselves all shot as a result.
Mysteriously my DF didn't magically get his health back, and my brothers and I never got our "old" DF back either.
Which is why I am deeply opposed to the death penalty and vigilante justice. It certainly doesn't help the victims, or their families. Or at least it didn't help ours.
(Just for illustration as to how evil these criminals were, when the police challenged them, one started running, and was clearly going to take a woman pushing a pram hostage. Unfortunately for him, the police marksman was faster although he ended up dying of a gut wound.).