Gasthaus Boderschmo is a German restaurant with a beer garden.