[prof-dr-ir]

Sure. I am sorry to hear you have been insulted - my comment is not to be interpreted as a justification of rude online behavior.

By the way, what do you think of the tone of the other reply to my comment? (Did you perhaps see the now-deleted curse word at the end?)