Nieminen, T. On the Completion of Uniform Spaces. Ann. Fenn. Math. 1963.