Vecchi, E. Steiner Formula and Gaussian Curvature in the Heisenberg Group. BPMAS 2016, 7, 97-115.