For the record: The AFP was apparently never down. It's just my ISP at home that doesn't seem to like "sourceforge.net" these days. Even basic things like "ping" don't work from home -- but they do work when I'm logged on a TU server. Strange... Jasmin Am 23.04.2014 um 07:35 schrieb Tobias Nipkow <nipkow at in.tum.de>: > It works now.