Tiefenmessschieber, digital, Marke HOLEX (BRD)