Theoretical and experimental studies of the structure and dynamics of the CaF2(111) surface