Is Diet Coke Really Banned In Europe?

Video footage of an American tourist arriving in Europe with a huge suitcase filled with nothing but Diet Coke to drink on holiday is causing quite a laugh – but is it true that Diet Coke is banned in the EU? Banned or Restricted in Countries?