Mashing a Potato with a German Potato Masher