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