My website has moved to https://manuelbohn.github.io/