Nearly 400 all-time high temperature records were broken over the summer.