Im Vollstreckungsverfahren nach § 887 ZPO ist die Bestimmtheit des Vollstreckungstitels nachzuprüfen. Der Antrag auf Beseitigung eines Sachmangels ist im Erkenntnisverfahren dann hinreichend bestimmt, wenn er den begehrten Erfolg angibt, aber die dafür erforderlichen Maßnahmen offenläßt. Im Vollstreckungsverfahren nach § 887 ZPO muß der Antrag des Gläubigers die zur Herbeiführung des geschuldeten Erfolgs durchzuführenden Maßnahmen genau bezeichnen, wenn streitig ist, welche Maßnahmen für eine fachkundige Beseitigung des Mangels erforderlich sind.