( norsk tid );