Hi, mein Fehler. die Datei hatte ich kopiert, aber nicht Arduino IDE danach neu gestartet. jetzt geht compilen.