. . . . . "Halogen is fluorine, chlorine, bromine or iodine, in particular fluorine or chlorine." . .