$ 0 0 @muru Thanks for pointing to the other question. Actually it was more informative! Maybe merging them is a better idea.