CGIProxy Error

Couldn't find address for tools.ethz.ch: