The ionization constant of HF