stadfäst dödsdomen öfver Philipsen.