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