Dedekind uppnådde förliden gärdag sitt 90:de älders är.