Temenos übernimmt Avoka für 245 Millionen Dollar