Femtosecond time-resolved spectroscopy of the formation of self-trapped excitons in CaF 2