  We prove that the space of initial data sets which have fixed Bartnik
boundary data and solve the constraint equations is a Banach manifold.
Moreover, on this constraint manifold the critical points of the ADM mass are
exactly the initial data sets which admit generalised Killing vector fields
with asymptotic limit proportional to the ADM energy-momentum vector.
