Gaststätte Müller is a gastropub.