On 19/02/2020 12:14, Christoph Hormann wrote: > I am therfore > reluctant to newly review the document in detail because it seems a > waste of effort. Don't bother then. No one will miss it. -- Steve