I've created these two Firefox search-plugins. These may be
useful to other users as well.

How to embed them:
https://developer.mozilla.org/en/Creating_OpenSearch_plugins_for_Firefox#Autodiscovery_of_search_plugins

Martin Engler