Det uppgifves i domen,