Det heter i arrendekontraktet: