domen " , heter det,