Gasthof Ochsen offers traditional German cuisine.