The aim of this text is to give a proof, due to Hans Grauert, of an analogue of Mordell's conjecture. Contents: Introduction; Algebro-Geometric Background; Algebraic Curves; The Theorem of Grauert (Mordell's conjecture for function fields).