Gruppe-02-clone/Dokumente/JavaDoc/model/docs/javadoc/module-search-index.js

moduleSearchIndex = [];updateSearchResults();