The tetrahydridosulfonium dication, H4S2+: hydrogen-deuterium exchange of hydrogen sulfide (DH2S+) in fluorosulfuric acid-d:antimony pentafluoride and hydrogen sulfide (D2HS+) in fluorosulfuric acid:antimony pentafluoride and theoretical calculations