Sancho Pancha menù, Naumburg