https://123dok.net/document/qo5o2olj-trace-theory-for-sobolev-mappings-into-a-manifold.html