Danach muss noch via Gerätemanager das ESP8266 (D1 Mini) Mikrokontroller Board hinzugefügt und ggf. ein USB Treiber installiert werden

1. Diese Zeile in den Arduino Einstellung hinzufügen (siehe Abbildung)

http://arduino.esp8266.com/stable/package_esp8266com_index.json 

• Externe Anleitungen von einem deutschem ESP2866 Vertreiber: hier und hier

2. Das ESP8266 Board mit der Board-Verwaltung hinzufügen. Dazu zunächst die Verwaltung starten ...