Paulus Hendrik (Paul) Hefting, 19332018 (aged 85 years)