dasher (text input program) - German English Dictionary