Ich bin nochmals zurück auf Los und habe in einem weit entfernten Verzeichnis Arduino 0.22 installiert. Dann habe ich, wie gefordert, ein neues Verzeichnis namens Hardware angelegt. Dort hinein habe ich die Files aus attiny45_85 gespielt, und siehe da, es funktioniert, sprich, es blinkt.
Ob ich es noch mit Arduino 1.0.X versuche, weiß ich noch nicht.
Herzlichen Dank für Euer Bemühen.
ArduStemmi