PHP: PDF Datei zu CSV konvertieren (pdftotext)

http://pastebin.com/AJ2Su7ZN

Simples Script, um aus einer PDF-Datei mit tabellarischen Daten über pdftotext eine CSV-Datei der Tabelle zu erstellen.
Die Kopf- und Fusszeilen werden ignoriert, indem nach einem Zeilenmuster gesucht wird, was die tabellarischen Daten erfüllen müssen (und die anderen Zeilen eben nicht).