Rudolph Doll — (1923-1992)