användas vid finslipning af diamanter.