något mera än 4,000 kr. , skulle hela auktionssumman alltså komma att uppgå till omkring 20,000 kr.