A history of machine tools (Orbis conoisseur's library)