Ok, sorry. Da bin ich auf eine wohl ältere Seite bei arduino.cc gestoßen:
https://www.arduino.cc/en/Main/Software_
Von dort aus gibt es den Button "Just Download" nicht und diese Seite wird von Google als "Arduino IDE Download" angeboten. Schelm?
Alles ok, schön, dass es so geblieben ist.
Gruß Tommy