Andreas Pfenning's public data