Das Pumpenhaus is a restaurant housed in a former pump house.