Thanks to the one downvoting me - what in my comment justifies a downvote? If my statement is wrong, I would certainly be interested in a correction.