Author: ISILC Proof Theory Symposion University of Kiel 1974.