till 15,000 kr. , direktionen å exekutiv auktion för 7,000 kr.