Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components An example of a simple 2-dimensional abelian variety defined over \(\mathbb{Q}\) with Mordell-Weil group of rank at least 20 