Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Remarks on fixed points of automorphisms and higher-order Weierstrass points in prime characteristic 