Fluorine as a constituent in lunar magmatic gases