digital measuring tool, DIGIMATIC MICROMETER, digital measuring device