The Whitworth measuring machine 1877