Statistics on Jasper van Vught's coauthors