Danke. Das hat den Fehler tatsächlich beseitigt.
Jetzt muss ich die anderen Themen angehen. Ethernet scheint nicht zu klappen. Werde mir das nachher mal anschauen nach Feierabend. Vermutlich brauch ich andere kext als der Kollege. Obwohl intelmausi drin ist.
Vielen Dank auf jeden Fall schon mal