conference Oberwolfach, summer 1983. Paul Halmos