Domen har ungefär följande lydelse: