Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Equivariant formal group laws and complex-oriented spectra over primary cyclic groups: elliptic curves, Barsotti-Tate groups, and other examples 