tool-definition-heidenhain (3)