all occurrences of `git://github` should be replaced with `https://github` and maybe some occurrences of `git://` too and maybe the paragraph of "Das Git-Protokoll" should be adapted