The role of halogens in the lithospheric mantle.