Text this: A history of machine tools 1700-1910 /