Willem Aantjes op 92-jarige leeftijd overleden