Gasthaus Rauch is a Bavarian restaurant.