Stimmt, sowas hatte ich auch mal. Funktioniert sehr gut für Kontakte und auch für kleine Lackschäden.
Ist leider bei irgendeinem Umzug verloren gegangen.
Aber, wie ich gerade recherchiert habe, kann man sich sowas immer noch wieder neu besorgen.
Glasfaserradierstift ist der richtige Suchbegriff dafür-