. . . "Halogens which may be mentioned are fluorine, chlorine, bromine and iodine, especially chlorine." . .