ferier äro nämligen slutade i Oktober ,och