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