utfördes dödsdomen å mördaren Jens Halden.