[svedlin]

Professor Grimm's death is a horrible tragedy and a major blow to the community. He will be greatly missed by those who were fortunate enough to know him.

Perhaps institutions that issue grants should require that the receiving organization ban "quotas" from their internal policies.

Condolences to Prof. Grimm's family and friends.