Welchen Börsenwert hatte General Electric zum Jahresende 2018?