Stechmanns Gasthof is a gastropub offering a dining experience.