Topological full groups and t.d.l.c. completions of Thompson's V - Waltraud Lederle (2018)