weather history, leiden, october 2