borgen för arrende-enntrartets uppfyllande.