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