A High-Resolution Mass Spectrometer for the Experimental Study of the Gas Composition in Planetary Environments: First Laboratory Results