Tom Jackman reports in the WaPo, "We watched what appeared to be an utterly painless death for a man who brutally killed nine people and devastated nine families, and here is how it unfolded:"