för att bringa domen till verkställighet.