Rigorose Asymptotik eines KdV-Solitonengases