MUF, foF2, and Ionosondes — How HF Propagation Forecasting Works