Die Suche steht nur auf der veröffentlichten Website zur Verfügung (der Suchindex entsteht beim Veröffentlichen).
Für die Suche wird JavaScript benötigt.
