July 2022 in Europe Was Not Exceptionally Warm