Superprotonic conductivity of (NH4)3H(SO4)2 in the high-temperature phase