Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components On the classification of commutative formal group laws over p-Hilbert domains and a finiteness theorem for higher Hasse-Witt matrices 