@jwildeboer This. And every person is loved by someone, and someone will be very hurt and miserable today.
But you can always be glad when a person *in their role or capacity* is removed from public, or power, or influence.
And in general: When someone dies beyond the age of 90 — yes it’s a time of mourning —, but often also a time to actually celebrate their life. I mean, 90+.