Gasthaus Zum Pumuckl is a local German eatery.