Dödsdomen gick aldrig i werkställighet.