Beweismethoden der Differentialgeometrie im Großen