Oslo : Tiden norsk forlag,