planet: use ftp5.gwdg.de mirror