Holmium fluoride HoF3