Hefting, Paul (Paulus Hendrik), 1933-2018