Novem­berværet: Over tre ganger så mye regn i Kristian­sand som i Bergen