To-dos

Juergen's to-do list is empty.