Wie gesagt, vermutliche ein kurzzeitiges DNS-Problem von deinem Provider.