är verkställd , deröfverutfärda