Wann ist eine Vollstreckung beendet?