( norsk tid ) ;.