Domen har följande lydelse: