Sorry false alert: The interrupts work as they should.
And one should never mix development environments: After one hour of testing I've found that using the sketches from Eclipse directly in the Arduino IDE caused avrdude to upload the same sketch again and again...