Hyperbolic Fibre Spaces and Mordell's Conjecture over Function Fields