Jan de Jong 1930 – 2019