( norsk tid )(