Okay, maybe we need a second opinion here. Use the Link to Bitdefender and/or Trend micro shown on this link: http://www.rokop-security.de/main/onlinescan.php
I just saw that the Bitdefenderlink is in german language. Try this: http://bitdefender.com/scan/licence.php