A miniature mattauch—herzog mass spectrometer for the investigation of planetary atmospheres