skall verkställas genom garrottering (som