Det heter i domen: