Comment 12 for bug 993298

I removed my comment, because I found out that there was a mistake in my Kerberos config. I couldn't figure it out because the ping <host> doesn't work in my case because the companies firewall doesn't allow it. Its better to use something like traceroute <host> in this case. But sometimes one cannot see things ;-) So luckily I must admit that /etc/hosts works for me.