Glätten von Glasoberflächen oder Linsen optischer Geräte mit Schleif- und Poliermaschinen, z. B. Diamantwerkzeugen.