Rigid Character Groups, Lubin-Tate Theory, and Varphi, Gamma-Modules pocketEngelska, 2020