Well... at least PDI programming worked. I still need to get a micro-USB cable.

Today I found out that my local consumer electronics store thinks I should pay 16€ for a friggin' 1.8m micro-USB cable. NO WAY. The cheapest old-style USB2.0 cable was still 6€. WTF!?! Up till now I was happy with HDMI cables being hilariously overpriced (I don't need those), but simple micro-USB cables are now overpriced as well.