web commit by tschwinge: Indeed this issue is ``fixed'' now ;-) and the new searching...