This page has moved to https://moritzmaehr.ch/publications/mahr2020k.html.