Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Abelian varieties with extra twist, cusp forms, and elliptic curves over imaginary quadratic fields 