R.I.P. Ruud Jacobs.

R.I.P. Ruud Jacobs. It was an honor and pleasure working with you!