AVL List setzt auf Hochleistungsrechner von Atos.