skall då erläggas 3,000 rdr rmt , hvarföre borgen ställes vid anktionstillfället och resten kan lämpas efter en reel köpares önskan.