Die Zwangsvollstreckung ist einzustellen, wenn die Ausfertigung einer vollstreckbaren Entscheidung vorgelegt wird, aus der sich ergibt, dass das zu vollstreckende Urteil oder seine vorläufige Vollstreckbarkeit aufgehoben oder dass die Zwangsvollstreckung für unzulässig erklärt oder ihre Einstellung angeordnet ist.