The purpose of this paper is to prove existence of minimisers of the functional J(K, u) := integral(Omega\K) f(L-u)dx + alpha integral(Omega\K) vertical bar u - g vertical bar(q) dx + beta S-d(Q-1) (K boolean AND Omega), where Omega is an open set of the Heisenberg group H-n , K runs over all closed sets of H-n, u varies in C-H(1) (Omega \ K), alpha, beta > 0, q >= 1, g is an element of L-q (Omega) boolean AND L-infinity (Omega) and f : R-2n -> R is a convex function satis...