Prozessvergleich unzutreffend protokolliert: Berichtigung durch Rechtsmittelgericht?