to search this website

Copy this string:
Paste it into the search field of your preferred search engine.
Behind it, key in your search term(s) and launch the search.
Use your browser to search the found page for the term(s) of interest.

Our old search method from Google no longer works.