Oxygen-ion diffusivity in hypostoichiometric zirconium dioxide