Andre's 1726 menù, Witten