Marinus Gerdinus de Kruijff overlijden