Obituary for Witteveen, Martin