[ I wrote these notes about half a year ago. I publish them now unchanged (except for this very paragraph) in the hope that it's useful, but...