electromagnetic distance measuring instrument