Wenn noch viele Jahre fehlen, so hat er zum Behufe seiner Auslösung einen dementsprechenden Betrag von der Kaufsumme zurückzuerstatten.