XCIV. The crystal structure of magnesium fluoride