Hi Stefan,
This is very useful. Google changed the toolbar a few years ago and I have been wondering what happened to the ability to search a specific site.
I had found the dictionary but was a little bit shy of the .bin format. I guess that’s just a way to do double-byte characters.
Thanks… Bob