deleted:    protokoll.dvi