Hi Fred,
Thanks for the link. I'm afraid use of the name Batavia is not correct. What is now Jakarta was called Batavia under Dutch colonial rule. Batavia had a modern port for ocean-going ships called Tanjung Priok, which still exists. I think what we see in this clip is a smaller wharf for local traffic, here or elswhere near Jakarta. In any case, it's not Batavia. By the way, my recently-acquired Epson scanner was Made in Indonesia. Which likewise is amazing!
Regards,
Anton