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