Author: Symposium on Non-standard Analysis, Oberwolfach, Ger. 1970