measuring devices, namely angle and length measuring systems consisting of instruments for measuring lengths and angles; electronic sensor heads for angle or length measuring systems