Die Verteilung des Versteigerungserlöses durch das Gericht findet nicht statt, wenn dem Gerichte durch öffentliche oder öffentlich beglaubigte Urkunden nachgewiesen wird, daß sich die Beteiligten über die Verteilung des Erlöses geeinigt haben.