Tried to commit some changes, but intevation.de is unreachable... $ ping -c 1 intevation.de PING intevation.de (131.173.30.110) from 216.119.36.126 : 56(84) bytes of data. --- intevation.de ping statistics --- 1 packets transmitted, 0 packets received, 100% packet loss -- Eric G. Miller <egm2 at jps.net>