Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen