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