In der Scheidungsvereinbarung getroffene Räumungszusage eines Wohnungseigentumspartners für Wohnungsverkauf bei Uneinigkeit nicht zwangsweise vollstreckbar