2015-11-04 From time to time, I edit the Wikipedia. I do have an account but never used it to edit stuff, as I do it too seldom and felt no advantage of beeing logged in to do it. Interestingly, no more than six minutes (!) after my change (in the German Wikipedia), another user had improved it a bit further and some more minutes later it was marked as the ``stable ver- sion'' of the article. http://marmaro.de/lue/ markus schnalke