Robert Martensen: A Life Worth Living