Hi Gerhard,
When I develop a site, there's usually a site specific module which holds all such extra stuff.
Aha: we have a stubbed-out module with a handful of non-theme-specific functions. I've followed the tutorial at http://drupal.org/node/82967 for adding config settings to that, and it seems to work fine.
Thanks for the advice!
Best regards, J-P