The diffusion coefficient of sodium chloride