Jiu Ding menù, Hochdorf