Prozessvergleich: Widerruf trotz Nichteintritts einer außerprozessualen Bedingung; Wirksamkeit des Vergleichs trotz Scheiterns als Prozessvertrag