This page has moved: https://johannesotterbach.com/publications/