olsen Jens Kristian David ( 1919 - ~1970 )