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