I domen heter det ,att