Die Kosten eines abgeschlossenen Vergleichs sind als gegeneinander
aufgehoben anzusehen, wenn nicht die Parteien ein anderes vereinbart
haben. Das Gleiche gilt von den Kosten des durch Vergleich erledigten
Rechtsstreits, soweit nicht über sie bereits rechtskräftig erkannt
ist.