Wann wird Erzwingungshaft vollstreckt?