This author has not been identified. Look up 'Klaus Ambos-Spies' in GoogleThis author has not been identified. Look up 'Joan Bagaria' in GoogleThis author has not been identified. Look up 'Enrique Casanovas' in GoogleThis author has not been identified. Look up 'Ulrich Kohlenbach' in Google