What subsequently happened after Alcatel was awarded damages