No matches were found for subject:"\[Emc\-users\] Which encoder to use, heidenhain or US Digital"