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