Zur alten Pumpe is a German restaurant.