How can I restore the original bootloader of a pca10059?

[henrikbrixandersen]

I have used the pca10059 with an external programmer, overwriting the USB DFU bootloader on the board in the process.

Now, I would like to restore the original bootloader of the pca10059. Where can I obtain the hex file for this?