Original: The Kingdom of Tungning () is also sometimes called the Kingdom of Zheng (Cheng) () or the Kingdom of Yanping ().
Simplified: All the Dutch people, officials and soldiers were able take their personal things and supplies back to Batavia in safety.