crawler.document.cache.html.mimetypes=text/html

# indexer
indexer.thread.dump.enabled=true
indexer.unprocessed.document.size=1000
indexer.click.count.enabled=true
indexer.favorite.count.enabled=true
indexer.webfs.commit.margin.time=5000
indexer.webfs.max.empty.list.count=3600
indexer.webfs.update.interval=10000
indexer.webfs.max.document.cache.size=10
indexer.webfs.max.document.request.size=1048576

labels.facet_filetype_ico=ICO-Bild
labels.facet_filetype_png=PNG-Bild
labels.facet_filetype_svg=SVG-Bild
labels.facet_filetype_tiff=TIFF-Bild
labels.facet_filetype_jpg=JPEG-Bild
labels.facet_filetype_others=Andere
labels.facet_label_reset=Zurücksetzen
labels.searchoptions_all=Alle
labels.searchoptions_score=Bewertung
labels.searchoptions_menu_sort=Sortiere
labels.searchoptions_menu_num=Suchergebnis