Detta verkställdes så småningom,