och egendomen tillfaller den vid auktionen högstbjudande , har en arrendator ingenuträkning