Marinus Johannes “Martin” Polderman 12 July, 1954 – 12 February, 2023