http://pasteur.net/jakob-pasteur-1650-1718-famous-dutch-partisan/?lang=en
Jakob Pasteur (1650-1718), famous Dutch partisan