Eigil Jensen (1917-2002)