Koch, Lucien, 1907-