http://ftp.seqan.de/