Leiderdorp, map of 1867.