Das Gleiche gilt von den Kosten des durch Vergleich erledigten Rechtsstreits, soweit nicht über sie bereits rechtskräftig erkannt ist.