To-dos

Eberhard's to-do list is empty.