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