Immerhin, ich weiß nun, dass die Datei im Archiv pylib.zip steckt. Nur leider ist sie unter Win als nicht editierbare compilierte Python-Datei "opf2.pyo" enthalten. Nun gilt es herauszufinden, wie man das ändern kann...