Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components On osculating cones and the Riemann-Kempf singularity theorem for hyperelliptic curves, trigonal curves, and smooth plane quintics 