När domen var uppläst ,sade