( norsk tid ),