@Thomas: I have a workaround as described in post #3 where I manually specifiy the address of a working nameserver.
@Thomas: I have a workaround as described in post #3 where I manually specifiy the address of a working nameserver.