Text this: Microscopic ion migration in solid electrolytes revealed by terahertz time-domain spectroscopy