Thein dodal ČVUT rozšíření superpočítače v hodnotě 30 milionů korun