Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. G. Kreisel (1976/1977) Jahresbericht der Deutschen Mathematiker-Vereinigung