Ding Sheng menù, Praha