“…Symposium on Non-standard Analysis Oberwolfach, Germany…”