Mühlenschänke is a gastropub.