Das Schleifen und Polieren der Metalle - Werkmeister, Otto 1915-2012 (Springer, 1947)