So, melde Vollzug, Update auf Kartenmaterial 2022-2 erfolgreich durchgeführt.
Habe mir einen qualitativ höheren USB-Stick besorgt: "SanDisk Extreme.Go USB 3.2 Flash Drive" mit 128 GB Kapazität.
Der war vorformatiert mit exFAT, was mich zunächst grübeln ließ, ob jetzt was zu ändern wäre. Aber der MINI-Downloadmanager sagt glasklar, dass die USB-Sticks mit NTFS, FAT32 oder EXFAT formatiert sein dürfen (müssen).
Die Investition von ca. 31,-- EUR hat sich gelohnt.
Die verzweifelten Versuche mit dem vorher verwendeten "Intenso 32 GB" (ca. 7,-- EUR) hätte ich mir sparen können.
Wieder einmal: Wer billig kauft, kauft zweimal.