Controlled diffeomorphic extension of homeomorphisms. (December 2018)