you are right, it was defined in config.php. Sorry, that was an embarrassing mistake. :-(
I checked config.local.php and local_conf.php, but forgot to do the same in config.php. What a shame that FileZilla does not support a full-text search, does it?