IRGENS-JENSEN, Ludvig