Die Formatierung eines 657 Seiten langen PDFs manuell macht großen Spaß