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