Cryogenic ion trap mass spectrometer for infrared laser spectroscopy for HFML-FELIX | TenderSpotter