H. Gross and E. Ogg, “Quadratic forms and linear topologies. On completions”, Ann. Fenn. Math., no. 584, Jan. 1975.