*not an answer, just a long comment* but it was a surprise to see JanDoggen leave and delete all content on this site https://stackexchange.com/users/241731/jan-doggen Thanks Jan for all your efforts to keep a high standard on this site!