Statistics of Hydrogen fluoride total and partial column time series above the Jungfraujoch from long-term FTIR measurements: Impact of the line-shape model, characterization of the error budget and seasonal cycle, and comparison with satellite and model data