dan moet hij de jaren berekenen dat het verkocht is geweest, en het verschil vergoeden aan de man aan wie hij het verkocht had. Dan zal hij naar zijn bezit terugkeren.