gmx.net isn't pingable but ecrc.de, one of its nameservers is. if all of us devote enough resources to the cause, ecrc.de can be reduced to redundance. how about it? arguments against?