$ 0 0 Thanks a lot! I powered down the thing, booted it up again, did ipconfig /flushdns in CMD and dscacheutil -flushcache in Terminal. Everything works as it should now :).