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