Difference Between Efke PL25 and PL25 Ort?

I know Efke 25 is an ortho panchromatic film with less red sensitivity. But what is Efke 25 Ort? Is it the same film with a different name, or is it even less red sensitive?

I found a link to a forum message stating that the Ort is indeed an Orthochromatic version of Efke 25 and has different sensitivity. I wonder if anyone has any sample shots taken on the Ort film, showing any difference from the other version?