Henning Jensen — Danish painter (1917-1980)