„Failed to connect to github.com port 443: Connection timed out“ – macht da wieder wer Routingtabellen kaputt?