Johannes Sturm's public data