C . O. Hoel ],