Danke, das System ist bestimmt sauber, aber das Mini-Dock ist vielleicht das Problem ...

auch darum überlege ich ja ein Festplattengehäuse mit USB-C zu kaufen.
Vielleicht ist USB-C direkt am MacBook ja auch schneller als USB3 über Mini-Dock.

Seit diesem Boot-Versuch habe ich ein weiteres Problem: Am Anfang störte es mich, dass das MacBook beim aufklappen automatisch startet, jetzt habe ich mich daran gewöhnt, aber seit dem Boot-Versuch funktioniert es nicht mehr. (Nachtrag: Funktioniert, nach einigen Versuchen, wieder.)