för 3,500 rdr i ärligt arrende ; men är arrendatorn förbunden afträda arrendet i händelse af försäljning mot förutbestämdt