EU-Klimaexperten: 2023 brachte wärmsten Oktober seit 125.000 Jahren