Welchen Jahresumsatz hatte GE 2017?