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