Message posted by Joerg (Webmaster) on October 08, 2001 at 17:07:40 PST:

I have just added a new search function. To use it click on the new "Search" button on the left.

The search feature will hopefully make it easier to locate information that you are looking for in our growing web site.

Replies: