Electronic structure of the CaF2/Si(111) interface.