Neverending Story UPDATE:
Earlier today, I found this on Amazon UK.
From the description, I thought it could be the Dutch release, so I contacted the seller, and he just mailed me back to confirm that it is.
The upside of buying it this way is that you can use Amazon UK with an Amazon US account. The downside is that it costs almost 2 1/2 times as much as ordering from DVDoutlet.nl (running the exchange rates, about $60 USD vs. about $24.50 USD).
Actually, DVDoutlet.nl isn't that hard to sign up for. I'm going to buy a copy for myself, and I would be glad to send it to you for your project, provided I get it back once it's been ripped.