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