Eichenberger, Hans (1920-1988)