Förutsatt att domen werkställes,