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