Okay, dann habe ich einen Bug in der Verwaltung gefunden.
"Download + Entpacken" war bei mir im ersten Versuch schiefgegangen. Warum auch immer. Es blieb dann ein Ordner "Modul_VaihingenEnz2025_20250803_184722.za7" mit einer za7-Datei von 0 kB in meinem Verzeichnis _setup\Downloads\za7 zurück. Die Anwesenheit dieses Ordners/Datei führte dann in der Folge dazu, dass weitere Downloadversuche auch scheiterten, mit der Meldung
Datei "E:\Zusi3_work\_Setup\Downloads\za7\Modul_VaihingenEnz2025_20250803_184722.za7" kann nicht erstellt werden. Zugriff verweigert (https://cloud.zusi.de/remote.php/dav/fi ... 184722.za7)
Also es ist ja löblich, dass er keine vorhandenen Dateien überschreiben will. In diesem Fall ist das aber unnötige Vorsicht.