Full-text search: A little faster search in DSL dictionaries