with cutting-off, grooving or profile cutting tools