I doubt that the current pitch of voices on PAL video (VHS, Laserdisc, DVD) is incorrect. If you slow down the 25 fps to 24 fps none of the voices does sound natural any more. Leia sure doesn't sound like a woman any more!
I have heard star wars avi files of german audio run at 23,976 speed. It's unwatchable - actually unhearable!
I doubt that home video release in PAL don't feature the original pitch of voices. People would remember the difference frequencies of the actors between hearing them in cinemas and hearing them at home. This 4% are very easy detected, especially if you are familiar to the voice of the actors.
I think for the studios it's quite easy to create two seperate audio tracks because you have the audio track without the voices to begin with and just insert the actor voices at certain timestamps. The speed of the voice track however doesn't necessarely have to match the speed of the main track.
Blurays features the original 24fps but the pitch (frequency) of the voice actors don't change! If there was an international cinema release you can bet that the voice actor do sound on PAL DVD as they sound on Bluray.
I will reactivate my starwars hdd this week and hopefully find all the stuff 'krieg der sterne' related. If I remember right, I have kept all those captures of the crawls, at least from the vhs videos (I was never able to play my Laserdiscs).
I am looking forward in any attempt to recreate the german cinema experience.
@grisan: Please keep the laserdisc Logos at the beginning somehow included, if at least as a bonus feature or share it here like the 1982 LD release. Such things are part of german star wars history as well.