To-dos

Guenter's to-do list is empty.