Other devices, e.g. tool holders; Checking devices for controlling workpieces in machines for manufacturing gear teeth