Monday was Labor Day in the United States: the unofficial end of summer. By this time the traditional three week fellesferie (public holiday) in Norway and elsewhere in Europe, and the bouwvak (builders’ vacation) in the Netherlands, are long gone. I see the Dutch newspaper Volkskrant notes that it was not really a pleasant ‘topsomer’ kind of a summer in Europe, with the extreme heat there. I don’t think we can declare 2017 a great summer for North America either, with hurricane Harvey (and another one called Irma – now a Category 5! – churning towards Florida). In California and the Pacific Northwest firefighters are still battling very large wildfires. The smoke is blanketing the entire state, and we are looking to on-shore winds to bring some relief on Wednesday.