pumping (of pavements) - German English Dictionary