Leser für DjVu- und PDF-Dokumente
