Wann ist ein Vergleich Vollstreckungstitel?