The location of the Eiffel mirror has moved to
  ftp://mirrors.informatik.uni-stuttgart.de/eiffel