A Biography and Obituary of Svein B. Manum (1926–2015)