och verkställdes , visade det sig,