Atomization energies of the carbon clusters C n (n = 2−10) revisited by means of W4 theory as well as density functional, Gn, and CBS methods