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