I have nothing to add besides my admiration and great pleasure to see the discussion proceed so rationally. I mostly come here to impress myself with my long and meaningless posts, but I am not above learning a little bit now and then.
Thank you all.