Title: Diamond as a cutting tool for metals and non-metallic materials, 1939-1961