Det heter vidare i utslaget: