( norsk tid ).