132 III 626 E. 3.1). Steht eine tatsächliche Willensübereinstimmung fest, bleibt für eine Auslegung nach dem Vertrauensgrundsatz kein Raum. Erst wenn eine tatsächliche Willensübereinstimmung unbewiesen bleibt, sind zur Ermittlung des mutmasslichen Parteiwillens die Erklärungen der Parteien aufgrund des Vertrauensprinzips so auszulegen, wie sie nach ihrem Wortlaut und Zusammenhang sowie den gesamten Umständen verstanden werden durften und mussten (zum Ganzen: Urteil des Bundesgerichts 8C_14/2020 E. 4.4).
Vorab ist festzustellen, dass sich die Parteien in Ziffer 4 des Vergleichs lediglich auf die öffentliche Versteigerung geeinigt haben.