plaintext-de: Update PDF file