Finally, we have got it - Ulf Lorenz tracked it down to the pager. On the machine the environment variable PAGER was set to `less`. In order to have get ANSI "color" escape sequences working one has to set export PAGER="less -R" (-r option would do as well, but this seems better to me). And now everything works fine! Best, Arnd