skall vid inropet af köparen erläggas 5,000 rdr af köpesumman.