Negative ions in the lower ionosphere: A comparison of a model computation and a mass-spectrometric measurement