Gasthaus Petersberg is a German restaurant.