Thank you, very helpful! Highly appreciated! If I had been a bit more lucky in my search, I should of course have found your reference on my own, but alas.
(Out of topic-context: And just now that I have the chance, also thank you so much for not just this answer but the tons of other answers you provide in here that prove hyper-helpful on a daily basis)