( Norsk tid ).