Thread:Teub/@comment-32899062-20180324223945/@comment-28004156-20180325123143

I'm not sure whether there's some formal source (could well be); I know it through an old personal interacion. ;-))