En nu zie ik dus in het dvhn dat Gerard Joling is overleden.