Huh, so it wasn’t my network having issues. The weird thing was. That at the same time google.com (though not google.de) stopped working. Weird coincidence?