Suche einen "Putzschwamm" für Keramik

[werter]

Hallo, habe heute eine neue Duschwand aufgebaut bekommen und der Handwerker hatte einen kleinen grauen Stein mit dem er die ganzen Kratzer aus den Keramiksachen bekommen hat. Einfach überscheuern und die kleinen Kratzer waren weg. Er hat das teil Schwamm genannt.
Leider konnte er mir weder Hersteller noch ähnliches sagen und so hoffe ich das hier vieliecht jemand was weiß.

Also das Teil hat Silikonreste, Kalkreste sowie die Kratzer vom Rasiermesser wegbekommen.

 

[werter]

keiner eine Idee was das war und wo man es herbekommt?

 

[thought]

ist es sowas vielleicht?
so ein ähnliches Teil hatten wir mal zuhause, zum reinigen war der super... aber ob der Kratzer wegrubbeln kann, weiß ich leider auch nicht.