2000-07-27 15:33:48  Werner Koch  (wk@habibti.openit.de)

  Converted the original GIF fonts to PNG.