Offiziell: Mario Mandzukic wechselt zu Atlético Madrid