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