Statistics on Bob Luis Sturm's coauthors