Ab initio calculation of ground-state properties of rare-gas crystals.