Domen hede följande lydelse: