A 17th century map of the county of Holland from a pocket atlas