digital measuring device, external micrometer, DIGIMATIC MICROMETER, DIGITAL INDUSTRIAL MICROMETER