och skall genast efter verkställdcicelering