Ich habe die Ursache nicht gefunden, aber es scheint ein Konnektivitätsproblem mit Docker zu sein. Ein service restart docker war ein Workaround. Es war ärgerlich, da der Rebuild nur wenige Stunden zuvor funktioniert hatte und Git-Pulls zu GitHub einwandfrei funktionierten.
Deshalb macht man Dinge um 4 Uhr morgens nicht und ist erschöpft. Ich hätte 2 Stunden extra schlafen und es am Morgen noch einmal bearbeiten sollen!