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