The Linux documentation has moved to https://linuxdocs.mpip-mainz.mpg.de. You'll be redirected automatically in a couple of seconds.