Thursday morning, the news reached me that a Dutch colleague of mine had passed away. Even though Otto Ketting was 77 years old, the news saddened me. I knew Otto personally since about 1988, when we were in a project together. He was a funny guy, both in the sense that he had an interesting…