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