Spin-correlation function of theS=1antiferromagnetic Heisenberg chain atT=0 | Synapse