To-dos

Hallstein's to-do list is empty.