Hello,
Great, I found my solution. I hope this will help others: I reinstalled the latest FTDI drivers from the tutorial page I mentioned before and it fixed my upload issue. I already had FTDI drivers from previous Arduino musings but I guess they were not up to date or something.
Cheers,
Thomas