Tales of Old Batavia

The city of Jakarta, today the capital of Indonesia, has had other incarnations and other names, most notably as the regional headquarters of the Dutch East Indies when it was known around the world as Batavia.