Jørgensen Ejner Henning ( 1924 - ? )