The arithmetic theory of loop groups. II: The Hilbert-modular case Number-theoretic properties of hyperelliptic fields and the torsion problem in Jacobians of hyperelliptic curves over the rational number field 