Då domen var uppläst,