trillion-euro gross domestic product