Hallo zusammen, vielen Dank für eure schnellen Tipps. Ich konnte noch nicht alles ausprobieren, habe aber eine schnelle Lösung gefunden: meinen 2. PC, ein uralt Modell, auf dem aber Linux Mint in der neuesten Version problemlos läuft und der dort standardmäßig installierte Video Downloder tut genau das was er soll, er lädt die Videos von YouTube herunter die ich fürs Weihnachtsbasteln brauche. Scheinbar ein Problem für Windows, (bis jetzt) nicht für Linux.
Den 4K Downloader und Clipgrab werde ich aber auch noch ausprobieren.
Danke und Tschüß