“There has been a widespread feeling that this summer was a big letdown, unusually cool and even cold at times. But was it really so bad?”