Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components The multiplicative structure of division rings over number fields and the Hasse norm principle 