I domen heter det bland annat : »Domstolen