Ruckendorfer menù, Eisenstadt