Eine einfache Such-Funktion, die es erlaubt, diese Webiste nach Dateinamen zu durchsuchen (keine Schlagwortsuche).