Vidare heter det i domen,