Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Zur Geschichte der Bestimmung rationaler Punkte auf elliptischen Kurven: das Problem von Behā-Eddīn `Amūlī 