Straten, Hans van (Johannes Dirk Marinus), 1923-2004