Original: The Kingdom of Tungning () is also sometimes called the Kingdom of Zheng (Cheng) () or the Kingdom of Yanping ().
Simplified: The Dutch gave him the fort and left all the goods and property of the Dutch East India Company behind.