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