"1 ) texten till domen ;