Schon im Juni waren weltweit neue Höchsttemperaturen gemessen worden, aber der Juli hat vieles noch einmal übertroffen.