mit permanentem Druck auf Boot-Key des RPiPico Usb-Verbindung zum Windows10-PC herstellen
im FileExplorer erscheint eine Device rp2 mit zwei Files ( und )
die Boot-Datei rp2-pico-20220117-v1.18.uf2 auf das RPiPico-Laufwerk kopieren
UsbVerbindung trennen und wiederherstellen
DeviceManager öffnen: neuer COM-Port unter MicroPython des RPiPico