arrendator af heinmansdelen ska » wid auktionen prestera antaglig borgen för anktionswilkorens uppfyllande.