( norsk tid .)