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