The limiting normal cone of a complementarity set in Sobolev spaces. (3rd October 2018)