Bencker, H. Standardisation of Time and Accurate Determination of Exact Time. IHR 2018.