Zheng Dezong was a restaurant establishment.