A Google Custom Search box has been added to try out.
It may take a while until Google has indexed all pages on this site.
While Google is indexing, there will be two search-boxes in the upper right corner, one rounded and one with a button.
The rounded is the native site search engine. This one works now.
The one with the button is the custom Google Search that is still indexing.