Bug in Satz.importFrom(Reader) behoben (PushbackReader war zu klein)
Satz.export(File) und importFrom(File) hinzugefuegt