Drahtbürste und Scheuermilch.
Nein im Ernst, keine Angst, da löst sich nichts auf, wenn es auch sehr kratzempfindlich ist. Ich habe eine Tasse mit destilliertem Wasser und einem kleinen Schuss Spüli und ein Brillenputztuch verwendet. Danach mit reinem destillierten Wasser nachgewischt und mit einem trockenen Brillenputztuch und wenig Druck abgetrocknet.
Gruß, Ludwig