Tool measuring instruments; Testing equipment for measuring the temperature, pressure, position or form of workpieces in a machine tool