Text this: Energy of Frenkel' defect formation in MgF2