Josephson junctions for ToF mass spectrometry