( norsk tid ) . . .>