DIGIMATIC MICROMETER, outside micrometer, DIGITAL MICROMETER, EXTERNAL DIGITAL MICROMETER, ELECTRONIC OUTSIDE MICROMETER