While reading this thread I was very astonished that pedantry is obviously well-known not only in Germany.

Nevertheless you are right ;-)