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