Found another nice place to get free fonts occasionally, at www.freefont.de. Of course there are many others, but at least the first font I downloaded actually worked, and looks not bad...