Theory of the Self-Trapped Hole in Ca F 2