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