Regional 3‐D ionospheric electron density specification on the basis of data assimilation of ground‐based GNSS and radio occultation data