EDM

EDM = instrumento electrónico para medir distancias