Die Aktionäre von Aveva hatten der 12 Milliarden Dollar schweren Übernahme im November zugestimmt.