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