I was sad to learn about this. My thoughts and prayers go out to Rainer and his family.

Edit: I found out that there's an earlier submission: https://news.ycombinator.com/item?id=38070167