När domen var afkunnad,