samma betydelse som Nya Batavia för Gamla Batavia.