tillse , att domen verkställes ».