Dödsdomen verkstäldes den 5 aug.