( norsk tid ) 10,57f.