Empty sketch does not load on Arduino Due

I'm trying to upload an empty sketch (after similar problems with the LED blinker) to a Arduino Due.

The upload ends with this:
Verify 24352 bytes of flash

0% (0/96 pages)
[== ] 9% (9/96 pages)
[===== ] 18% (18/96 pages)
.....
[====================== ] 75% (72/96 pages)
[========================= ] 84% (81/96 pages)
[============================ ] 93% (90/96 pages)An error occurred while uploading the sketch

[==============================] 100% (96/96 pages)
Verify failed
Page errors: 96
Byte errors: 23809

In the tools menu I see the following programmers. Am I right in assuming that a programmer is the same as a loader? Unfortunately Ihave no clue which one is for what:

AVR ISP
AVRISP mkII
USBtinyISP
ArduinoISP
ArduinoISP.org
USBasp
Parallel programmer
Arduino as ISP
Arduino Gemma
Atmel STK developer board
BusPirate as ISP

Which one do I have to select?

Could it be that my brand new Due has a hardware bug?

I'm willing to do my best to answer all upcoming questions.

Regards, Hans