Hauge, Olav H., 1908-1994