pdf-dateien -> ascii-dateien?