[kermit_frosch]

Thanks for the hint, mate! Fortunately, I regained my ethernet port via the default driver set although I tried x times...