Gasthof Hochstein is a German restaurant offering traditional cuisine.