då domen skulle verkställas.