13813-41-7 EINECS 237-470-3 Holmium iodide Holmium iodide (HoI3) Holmium triiodide