> a kind of jack-tool

A ball point pen works great too. :)

https://www.youtube.com/watch?v=G5mvvZl6pLI