Marinus Steven Hoogmoed [fr; de] (born 1942), Dutch herpetologist