Report of the gauge commissioners. [electronic resource]