Hotelrestaurant Alt-Pirmasens