Hard to believe only a handful were killed in this unless everyone is on vacation there.
ML/NJ
I've heard a couple of times on TV reports that today is a holiday in Norway. No explanation as to what holiday it is.