Mirror surface machining of high-alloy steels by elliptical vibration cutting with single-crystalline diamond tools: Influence of alloy elements on diamond tool damage