Programmieren-2-Kontaktdatenbank/docs/module-search-index.js

moduleSearchIndex = [];updateSearchResults();