Roter Elephant menù, Erfurt