Peta Batavia (sekarang Jakarta) pada tahun 1888.
Peta Batavia tahun 1888