Take a look at this german ebay auction:
The seller has a “theatre preview flyer” (sorry, i don’t know the specific english term) which teases ROTJ with its original name
REVENGE OF THE JEDI — in german — DIE RACHE DER JEDI-RITTER
Very interesting…