optionsrätt finnes , och egendomen tillfaller den wid auktionen högstbjudande , har en arrendator ingen uträkning wid att under de senare arrendeären nedlägga någrakostnader