Encyclopaedia of historical metrology, weights, and measures.