Werkzeuglängensensor