Wie heißt eine neue Generation von Hochgeschwindigkeitszügen, die ab Dezember 2017 von der Deutschen Bahn eingesetzt werden sollen?