Hallo Volker,
der Download ist eine IMG-Datei, die Du mit einem Programm Deiner Wahl (ich verwende auf dem Mac ApplePiBaker) auf eine SD-Karte schreiben musst. Von der SD-Karte kannst Du dann picochess booten.
Wie man die Version - entweder 0.9n oder 2.01 - und die Hardware - entweder DGT Pi oder Raspberry Pi - auswählt ist wie gesagt im ersten Artikel des Threads in der Google-Gruppe von Al ausführlich beschrieben.
Viel Erfolg
-Joscho