Innan domen gick i verkställighet,