query.highlight.fragment.size=60
query.highlight.number.of.fragments=2
query.highlight.type=fvh
query.highlight.tag.pre=<strong>
query.highlight.tag.post=</strong>
query.highlight.boundary.chars=u0009u000Au0013u0020
query.highlight.boundary.max.scan=20
query.highlight.boundary.scanner=chars
query.highlight.encoder=default
query.highlight.force.source=false

labels.roomNumber=Zimmer-Nummer
labels.user_description=Beschreibung
labels.description=Beschreibung
labels.user_title=Titel
labels.title=Titel
labels.user_pager=Pager
labels.pager=Pager
labels.user_street=Straße
labels.street=Straße
labels.user_postalCode=Postleitzahl
labels.postalCode=Postleitzahl
labels.user_physicalDeliveryOfficeName=Büroname für physische Zustellung
labels.physicalDeliveryOfficeName=Büroname für physische Zustellung

labels.menu_dashboard_config=ダッシュボード
labels.menu_design=ページのデザイン
labels.menu_dict=辞書
labels.menu_data=バックアップ/復元
labels.menu_crawl=クローラー
labels.menu_web=ウェブ
labels.menu_file_system=ファイルシステム
labels.menu_data_store=データストア
labels.menu_label_type=ラベル
labels.menu_key_match=キーマッチ
labels.menu_boost_document_rule=ドキュメントブースト
labels.menu_path_mapping=パスマッピング
labels.menu_web_authentication=ウェブ認証
labels.menu_file_authentication=ファイル認証

labels.crawling_info_DataCrawlExecTime=Crawl exec time (Data store)
labels.crawling_info_DataCrawlStartTime=Crawl start time (Data store)
labels.crawling_info_DataCrawlEndTime=Crawl end time (Data store)
labels.crawling_info_DataIndexExecTime=Indexing exec time (Data store)
labels.crawling_info_DataIndexSize=Index size (Data store)
labels.webauth_configuration=Web Authentication
labels.webauth_list_hostname=Hostname

labels.crawling_info_DataCrawlExecTime=Crawl exec time (Data store)
labels.crawling_info_DataCrawlStartTime=Crawl start time (Data store)
labels.crawling_info_DataCrawlEndTime=Crawl end time (Data store)
labels.crawling_info_DataIndexExecTime=Indexing exec time (Data store)
labels.crawling_info_DataIndexSize=Index size (Data store)
labels.webauth_configuration=Web Authentication
labels.webauth_list_hostname=Hostname

labels.menu_dashboard_config = 대시보드
labels.menu_design = 페이지 디자인
labels.menu_dict = 사전
labels.menu_data = 백업/복원
labels.menu_crawl = 크롤러
labels.menu_web = 웹
labels.menu_file_system = 파일시스템
labels.menu_data_store = 데이터 저장소
labels.menu_label_type = 레이블(Label)
labels.menu_key_match = 키워드 검색
labels.menu_boost_document_rule = 문서 부스트
labels.menu_path_mapping = 경로 매핑
labels.menu_web_authentication = 웹 인증