ernst verduin, een van de laatste nederlandse auschwitz-overlevenden, overleden