The biography of Jan Frederik Pieter Portielje (1829 - 1908)