Danke Herr Schneider für den Link!
SMC Reset habe ich noch nicht probiert, aber offenbar ist gelegentlich ein Thunderbolt/USB-Port betroffen. auf den ersten umgesteckt, nun geht es wieder.
Bild aus dem o.g. Forum: auch bei mir funktioniert der grün markierte Port nicht!

Nachtrag: SMC-Reset (also Server für 30 Sekunden stromlos machen) hat den Fehler behoben !