tool-definition-heidenhain (15)