— När domen var afkunnad,