In memoriam: Pieter Hintjens