Which is the health secret of the philosopher Immanuel Kant, besides his daily walk?