Hm, also ich hab mal versucht, das Problem rezuproduzieren, hat leider nicht geklappt.
Soweit ich mich erinnern kann, hab ich damals die Netzwerkeinstellungen auf DHCP gesetzt (waren vorher manuell, DHCP-Server war vorhanden), neu gestartet und meinen Router angepingt. Von da an ging das Internet dann auch wieder. Vielleichts hilfts ja weiter.
Tut mir leid, dass ich nicht besser helfen konnte...