Lubin–Tate formal group