Stort bredbånds­brudd i Kristian­sand – fikset i natt