digital measuring tool, digital measuring device, external micrometer, DIGIMATIC MICROMETER