digital measuring tool, DIGIMATIC MICROMETER, external micrometer