Sorry, this note is missing. I have probably not made it public (yet).