Mit dem Steigerungserlös seien vorab die Versteigerungskosten und Grundstückgewinnsteuern zu tilgen. d)