Searching!

There are currently two ways of searching our web site and of directly jumping to the relevant page:

• on the one hand a standard web search feature, going through a full text index that is updated once per week, and
• on the other a listing of main areas by a site map.