printed technical manuals directed to users of industrial metal-cutting tools