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