https://springschool.aei.mpg.de/