Das Günthers menù, Rudolstadt