Men vi fortsätta med utdrag af domen: