Last update: 04/16/94

The following things have been changed for the Debian distribution:

- applied a patch from Florian La Roche <rzsfl@rz.uni-sb.de>
- changed the makefile (install target)


Peter Tobias <tobias@et-inf.fho-emden.de>
