For everyone interested to change their DNS check out http://code.google.com/p/namebench/ For me 8.8.4.4 and others are faster and work better then the one provided by my ISP, at least it feels that way.