src/work/peter/remarks
changeset 1186 448f76e44b24