• Paul Randoll
  • Paul R. Randoll jr.(1918–2002)