machines and machine tools, in particular gear cutting machines, including gear shaping machines, roller milling machines, gear hobbing machines, and parts therefor, in particular gear cutting tools