The main difference of our compactness result from [1]} is not only that in our setting we have the set-function coupling, but also we need to select those components of limiting free crytal region where the displacements diverge and those in which they don't. This first requires to actually prove that the behavior is consistent inside each component of the limiting free-crystal region, which is achieved using [2]}.
