This is the first draft of a search engine. Even though
there is not much here up to now this engine is fully functional. The
search is case-insensitive but otherwise exact. Wildcards are supported as
follows: The questionmark '?' stands for exactly one character, and the
asterisk '*' for zero or more characters.
Remember that you may place a '*' at the end of your
search-string to make sure that you get even those hits that carry some
Note that the search might take some seconds. To limit
the duration of the search the number of hits is limited to 100. If a
result doesn not hold what you search for, try narrowing your search.