On How Electronic Dictionaries are Really Used