EXTERNAL DIGITAL MICROMETER, DIGITAL MICROMETER, outside micrometer, DIGIMATIC MICROMETER