Compactness for Sobolev-type trace operators. (June 2019)