När domen var uppläst,