######  ESP32 support in der IDE:
Lib for Arduino IDE ... paste into BoarManager URLs (Datei->Voreinstellungen)
https://dl.espressif.com/dl/package_esp32_index.json

Dann Werkzeuge->Board:..->Boardverwalter .
ESP32 lib suchen und installieren.

Der "alte" Installationsweg war anders - falls im Library Pfad noch vorhanden:  /Arduino/hardware/ESP32 löschen.