areal än 1717 års karta.