It turns out that the tool described below is called a stampertje, but so is something else. I do not want to spoil the fun. Google up the word and see what you see.