German company ProSieben invests in U.S. software company, AIS