Hefting, Paul
alternate name: Hefting, Paul
alternate name: Hefting, Paul (Paulus Hendrik), 1933-
alternate name: Hefting, Paul (Paulus Hendrik), 1933-2018
alternate name: Hefting, Paul 1933-2018
type: Person