The Mordell conjecture revisited