* Fix kernelnotes.de mirror FTP url
  * Add a mirror in Germany


Docs/manual.texi:
  * Fix kernelnotes.de mirror FTP url
  * Add a mirror in Germany