DIGIMATIC MICROMETER, ELECTRONIC OUTSIDE MICROMETER, EXTERNAL DIGITAL MICROMETER