As far as the English theatrical release, I read somewhere that the movie got a very limited theatrical run in Australia. It’s not unusual for dub tracks to be made and then never released, though. The studios will sometimes commission a foreign language dub in order to try and shop the film around to international distributors in hopes of getting a foreign release.
There is a lot of bad info regarding the English dub, as well. There are a number of sites with the wrong voice actors including one that claimed the cast included Cary Elwes and Christopher Lloyd (it does not). I found a list with the correct voice actors but I forgot to bookmark it so I will have to hunt it down again. Considering that none of the voice actors were big names in acting or voiceover work, the English dub is incredibly well done. The original German dub hired known German actors and received complaints that some of them delivered their lines very poorly.