Electrical tool searched

Hi, but a tool doesn’t know the English name. In the videos on YouTube ScannerDanner always uses a tool with which he basically picks up electrical cables similar to a needle and then measures the voltage. After the measurement the insulation of the pickled cable is sealed again. Does someone like the tool know about it. Video about it, starting at minute 19:13https://www.youtube.com/watch?v=RcQdITo_AOA