» Domen * är nu verkställd,