Cutting-off protruding ridges, also profiled cutting