Filipe Brandenburger wrote:
Do you have something strange in /etc/hosts?
Thank you very much indeed.
That was indeed the problem. I was playing with an ipv6 application some time ago, and I did not notice that it appended many lines to /etc/hosts (actually just on my server, but I later copied this /etc/hosts to my other machines without looking at it).