About Petroleum geologische kring van het koninklijk nederlands geologisch en mijnbouwkundig genootschap